I'm not sure of the motive for including these headers, but I am reluctant to include them because they come from Linux, and I'm not certain that they have been tested to verify that they are accurate for PS4 as well.

If you wish to add new functionality, it is preferable to base it from FreeBSD 9.0 code instead. It is also preferable that you attempt some testing or reverse engineering to ensure that all constants and offsets in structs are the same for example.

In regards to this specific code, it doesn't seem to fit well into the library because it focuses on functionality such as setting the cr0 register to disable write protection, which is only possible in kernel mode. Whereas this library is for writing userland code for PS4.